MARDARE, RADU: search on Z-Library

The world's largest scientific articles store. 70,000,000+ articles for free.

Don't use scam websites

1

AN OBSERVER-BASED DE-QUANTISATION OF DEUTSCH'S ALGORITHM

CALUDE, CRISTIAN S., CAVALIERE, MATTEO, MARDARE, RADU

Journal:

International Journal of Foundations of Computer Science

Year:

2011

Language:

english

File:

PDF, 492 KB

english, 2011

2

Concurrent weighted logic

Larsen, Kim G., Mardare, Radu, Xue, Bingtian

Journal:

Journal of Logical and Algebraic Methods in Programming

Year:

2015

Language:

english

File:

PDF, 496 KB

english, 2015

3

[Lecture Notes in Computer Science] Models, Algorithms, Logics and Tools Volume 10460 || Timed Temporal Logics

Aceto, Luca, Bacci, Giorgio, Bacci, Giovanni, Ingólfsdóttir, Anna, Legay, Axel, Mardare, Radu

Year:

2017

Language:

english

File:

PDF, 369 KB

english, 2017

4

[Lecture Notes in Computer Science] Models, Algorithms, Logics and Tools Volume 10460 || Synchronous Interfaces and Assume/Guarantee Contracts

Aceto, Luca, Bacci, Giorgio, Bacci, Giovanni, Ingólfsdóttir, Anna, Legay, Axel, Mardare, Radu

Year:

2017

Language:

english

File:

PDF, 352 KB

english, 2017

5

On the metric-based approximate minimization of Markov Chains

Bacci, Giovanni, Bacci, Giorgio, Larsen, Kim G., Mardare, Radu

Journal:

Journal of Logical and Algebraic Methods in Programming

Year:

2018

Language:

english

File:

PDF, 598 KB

english, 2018

6

Analysing Biochemical Oscillation through Probabilistic Model Checking

Paolo Ballarini, Radu Mardare, Ivan Mura

Journal:

Electronic Notes in Theoretical Computer Science

Year:

2009

Language:

english

File:

PDF, 1.20 MB

english, 2009

7

A multiset-based model of synchronizing agents: Computability and robustness

Matteo Cavaliere, Radu Mardare, Sean Sedwards

Journal:

Theoretical Computer Science

Year:

2008

Language:

english

File:

PDF, 731 KB

english, 2008

8

Regression of left ventricular hypertrophy in hemodialyzed patients is possible: a follow-up study

Şerban Ardeleanu, Larisa Panaghiu, Octavian Prisadă, Radu Sascău, Luminiţa Voroneanu, Simona Hogaş, Nicoleta Mardare, Adrian Covic

Journal:

International Urology and Nephrology

Year:

2011

Language:

english

File:

PDF, 357 KB

english, 2011

9

A Logical Approach to Security in the Context of Ambient Calculus

Radu Mardare, Corrado Priami

Journal:

Electronic Notes in Theoretical Computer Science

Year:

2004

Language:

english

File:

PDF, 327 KB

english, 2004

10

Randomized trial of bioelectrical impedance analysis versus clinical criteria for guiding ultrafiltration in hemodialysis patients: effects on blood pressure, hydration status, and arterial stiffness

Mihai Onofriescu, Nicoleta Genoveva Mardare, Liviu Segall, Luminiţa Voroneanu, Claudiu Cuşai, Simona Hogaş, Şerban Ardeleanu, Ionuţ Nistor, Octavian Viorel Prisadă, Radu Sascău, Adrian Covic

Journal:

International Urology and Nephrology

Year:

2012

Language:

english

File:

PDF, 190 KB

english, 2012

11

A notion of polyconvex function on a surface suggested by nonlinear shell theory

Philippe G. Ciarlet, Radu Gogu, Cristinel Mardare

Journal:

Comptes Rendus Mathematique

Year:

2011

File:

PDF, 158 KB

2011

12

Orientation-preserving condition and polyconvexity on a surface: Application to nonlinear shell theory

Ciarlet, Philippe, Gogu, Radu, Mardare, Cristinel

Journal:

Journal de Mathématiques Pures et Appliquées

Year:

2013

File:

PDF, 260 KB

2013

13

Complete proof systems for weighted modal logic

Larsen, Kim G., Mardare, Radu

Journal:

Theoretical Computer Science

Year:

2014

Language:

english

File:

PDF, 628 KB

english, 2014

14

[IEEE 2010 Seventh International Conference on the Quantitative Evaluation of Systems (QEST) - Williamsburg, VA, USA (2010.09.15-2010.09.18)] 2010 Seventh International Conference on the Quantitative Evaluation of Systems - The Measurable Space of Stochastic Processes

Cardelli, Luca, Mardare, Radu

Year:

2010

Language:

english

File:

PDF, 393 KB

english, 2010

15

Adequacy and Complete Axiomatization for Timed Modal Logic

Jaziri, Samy, Larsen, Kim G., Mardare, Radu, Xue, Bingtian

Journal:

Electronic Notes in Theoretical Computer Science

Year:

2014

Language:

english

File:

PDF, 368 KB

english, 2014

16

[IEEE 2013 Twenty-Eighth Annual IEEE/ACM Symposium on Logic in Computer Science (LICS 2013) - New Orleans, LA, USA (2013.06.25-2013.06.28)] 2013 28th Annual ACM/IEEE Symposium on Logic in Computer Science - Stone Duality for Markov Processes

Kozen, Dexter, Larsen, Kim G., Mardare, Radu, Panangaden, Prakash

Year:

2013

Language:

english

File:

PDF, 260 KB

english, 2013

17

A LOGICAL CHARACTERIZATION OF ROBUSTNESS, MUTANTS AND SPECIES IN COLONIES OF AGENTS

MARDARE, RADU, CAVALIERE, MATTEO, SEDWARDS, SEAN

Journal:

International Journal of Foundations of Computer Science

Year:

2008

Language:

english

File:

PDF, 1.50 MB

english, 2008

18

The Meyer–Neldel rule in amorphous TiO2 films with different Fe content

Mardare, Diana, Yildiz, Abdullah, Apetrei, Radu, Rambu, Petronela, Florea, Daniel, Gheorghe, Nicoleta Georgiana, Macovei, Dan, Teodorescu, Cristian Mihail, Luca, Dumitru

Journal:

Journal of Materials Research

Year:

2012

Language:

english

File:

PDF, 561 KB

english, 2012

19

Alternation-Free Weighted Mu-Calculus: Decidability and Completeness

Larsen, Kim G., Mardare, Radu, Xue, Bingtian

Journal:

Electronic Notes in Theoretical Computer Science

Year:

2015

Language:

english

File:

PDF, 377 KB

english, 2015

20

A Metrized Duality Theorem for Markov Processes

Kozen, Dexter, Mardare, Radu, Panangaden, Prakash

Journal:

Electronic Notes in Theoretical Computer Science

Year:

2014

Language:

english

File:

PDF, 260 KB

english, 2014

21

On decidability of recursive weighted logics

Larsen, Kim G., Mardare, Radu, Xue, Bingtian

Journal:

Soft Computing - A Fusion of Foundations, Methodologies and Applications

Year:

2016

Language:

english

File:

PDF, 830 KB

english, 2016

22

[Lecture Notes in Computer Science] Models, Algorithms, Logics and Tools Volume 10460 || A Framework for Evaluating Schedulability Analysis Tools

Aceto, Luca, Bacci, Giorgio, Bacci, Giovanni, Ingólfsdóttir, Anna, Legay, Axel, Mardare, Radu

Year:

2017

Language:

english

File:

PDF, 1.49 MB

english, 2017

23

[Lecture Notes in Computer Science] Models, Algorithms, Logics and Tools Volume 10460 || Centrally Governed Blockchains: Optimizing Security, Cost, and Availability

Aceto, Luca, Bacci, Giorgio, Bacci, Giovanni, Ingólfsdóttir, Anna, Legay, Axel, Mardare, Radu

Year:

2017

Language:

english

File:

PDF, 801 KB

english, 2017

24

[Lecture Notes in Computer Science] Models, Algorithms, Logics and Tools Volume 10460 || Modal Stochastic Games

Aceto, Luca, Bacci, Giorgio, Bacci, Giovanni, Ingólfsdóttir, Anna, Legay, Axel, Mardare, Radu

Year:

2017

Language:

english

File:

PDF, 664 KB

english, 2017

25

[Lecture Notes in Computer Science] Models, Algorithms, Logics and Tools Volume 10460 || The Cost of Exactness in Quantitative Reachability

Aceto, Luca, Bacci, Giorgio, Bacci, Giovanni, Ingólfsdóttir, Anna, Legay, Axel, Mardare, Radu

Year:

2017

Language:

english

File:

PDF, 312 KB

english, 2017

26

[Lecture Notes in Computer Science] Models, Algorithms, Logics and Tools Volume 10460 || Runtime Verification Logics A Language Design Perspective

Aceto, Luca, Bacci, Giorgio, Bacci, Giovanni, Ingólfsdóttir, Anna, Legay, Axel, Mardare, Radu

Year:

2017

Language:

english

File:

PDF, 382 KB

english, 2017

27

[Lecture Notes in Computer Science] Models, Algorithms, Logics and Tools Volume 10460 || Towards Automated Variant Selection for Heterogeneous Tiled Architectures

Aceto, Luca, Bacci, Giorgio, Bacci, Giovanni, Ingólfsdóttir, Anna, Legay, Axel, Mardare, Radu

Year:

2017

Language:

english

File:

PDF, 587 KB

english, 2017

28

[Lecture Notes in Computer Science] Models, Algorithms, Logics and Tools Volume 10460 || Property-Preserving Parallel Decomposition

Aceto, Luca, Bacci, Giorgio, Bacci, Giovanni, Ingólfsdóttir, Anna, Legay, Axel, Mardare, Radu

Year:

2017

Language:

english

File:

PDF, 592 KB

english, 2017

29

[Lecture Notes in Computer Science] Models, Algorithms, Logics and Tools Volume 10460 || WUPPAAL: Computation of Worst-Case Execution-Time for Binary Programs with UPPAAL

Aceto, Luca, Bacci, Giorgio, Bacci, Giovanni, Ingólfsdóttir, Anna, Legay, Axel, Mardare, Radu

Year:

2017

Language:

english

File:

PDF, 1008 KB

english, 2017

30

[ACM Press the 31st Annual ACM/IEEE Symposium - New York, NY, USA (2016.07.05-2016.07.08)] Proceedings of the 31st Annual ACM/IEEE Symposium on Logic in Computer Science - LICS '16 - Quantitative Algebraic Reasoning

Mardare, Radu, Panangaden, Prakash, Plotkin, Gordon

Year:

2016

Language:

english

File:

PDF, 321 KB

english, 2016

31

[Lecture Notes in Computer Science] Models, Algorithms, Logics and Tools Volume 10460 || Towards a Tool: TIMES-Pro for Modeling, Analysis, Simulation and Implementation of Cyber-Physical Systems

Aceto, Luca, Bacci, Giorgio, Bacci, Giovanni, Ingólfsdóttir, Anna, Legay, Axel, Mardare, Radu

Year:

2017

Language:

english

File:

PDF, 1.66 MB

english, 2017

32

[IEEE 2017 32nd Annual ACM/IEEE Symposium on Logic in Computer Science (LICS) - Reykjavik, Iceland (2017.6.20-2017.6.23)] 2017 32nd Annual ACM/IEEE Symposium on Logic in Computer Science (LICS) - Unrestricted stone duality for Markov processes

Furber, Robert, Kozen, Dexter, Larsen, Kim, Mardare, Radu, Panangaden, Prakash

Year:

2017

Language:

english

File:

PDF, 287 KB

english, 2017

33

[IEEE 2017 32nd Annual ACM/IEEE Symposium on Logic in Computer Science (LICS) - Reykjavik, Iceland (2017.6.20-2017.6.23)] 2017 32nd Annual ACM/IEEE Symposium on Logic in Computer Science (LICS) - On the axiomatizability of quantitative algebras

Mardare, Radu, Panangaden, Prakash, Plotkin, Gordon

Year:

2017

Language:

english

File:

PDF, 345 KB

english, 2017

34

Complete Axiomatization for the Total Variation Distance of Markov Chains

Bacci, Giorgio, Bacci, Giovanni, Larsen, Kim G., Mardare, Radu

Journal:

Electronic Notes in Theoretical Computer Science

Year:

2018

Language:

english

File:

PDF, 329 KB

english, 2018

35

[IEEE 2017 32nd Annual ACM/IEEE Symposium on Logic in Computer Science (LICS) - Reykjavik, Iceland (2017.6.20-2017.6.23)] 2017 32nd Annual ACM/IEEE Symposium on Logic in Computer Science (LICS) - Riesz Modal logic for Markov processes

Mio, Matteo, Furber, Robert, Mardare, Radu

Year:

2017

Language:

english

File:

PDF, 352 KB

english, 2017

36

[ACM Press the 33rd Annual ACM/IEEE Symposium - Oxford, United Kingdom (2018.07.09-2018.07.12)] Proceedings of the 33rd Annual ACM/IEEE Symposium on Logic in Computer Science - LICS '18 - Boolean-Valued Semantics for the Stochastic λ-Calculus

Bacci, Giorgio, Furber, Robert, Kozen, Dexter, Mardare, Radu, Panangaden, Prakash, Scott, Dana

Year:

2018

Language:

english

File:

PDF, 779 KB

english, 2018

37

[ACM Press the 33rd Annual ACM/IEEE Symposium - Oxford, United Kingdom (2018.07.09-2018.07.12)] Proceedings of the 33rd Annual ACM/IEEE Symposium on Logic in Computer Science - LICS '18 - An Algebraic Theory of Markov Processes

Bacci, Giorgio, Mardare, Radu, Panangaden, Prakash, Plotkin, Gordon

Year:

2018

Language:

english

File:

PDF, 787 KB

english, 2018

38

Converging from branching to linear metrics on Markov chains

BACCI, GIORGIO, BACCI, GIOVANNI, LARSEN, KIM G., MARDARE, RADU

Journal:

Mathematical Structures in Computer Science

Year:

2017

Language:

english

File:

PDF, 441 KB

english, 2017